CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device

Abstract Numerous approaches for cast-as-intended verifiability have been proposed in the literature on electronic voting, balancing practical aspects and security guarantees different ways. One of well-established methods involves use a second device that allows voters to audit their submitted ballots. This approach offers several benefits, including support flexible ballot election types an intuitive user experience. Moreover, solutions based this are generally adaptable range existing voting protocols, rather than being restricted particular scheme. has successfully implemented real-life elections, such as Estonia [18]. In work, we improve device. We propose solution preserves advantageous properties outlined above, while providing stronger guarantees. Our method does not increase risk vote selling compared underlying protocol be augmented, it requires only comparatively weak trust assumptions achieve this. It can combined with various commitment-based systems provide everlasting privacy. Overall, our work new option strengthen end-to-end real-world Internet elections.